Nuprl Lemma : set_le_wf
13,42
postcript
pdf
p
:PosetSig. (
)
|
p
|
|
p
|
latex
Up
poset
sig
object
directory
Definitions of Statement
PosetSig
,
|
p
|
,
Definitions
t
.2
,
t
.1
,
,
|
p
|
,
t
T
,
x
:
A
.
B
(
x
)
,
PosetSig
Lemmas
poset
sig
wf
origin